Failed to solve the following constraints:
  _2 := record { x₁ = A } :? _1
Unsolved metas at the following locations:
  InferRecordTypes-4.agda:17,1-4
  InferRecordTypes-4.agda:17,7-25
